compact metric space example